pvz simulation theory